Anti-complex sets and reducibilities with tiny use
نویسندگان
چکیده
In contrast with the notion of complexity, a set A is called anticomplex if the Kolmogorov complexity of the initial segments of A chosen by a recursive function is always bounded by the identity function. We show that, as for complexity, the natural arena for examining anti-complexity is the weak-truth table degrees. In this context, we show the equivalence of anticomplexity and other lowness notions such as r.e. traceability or being weak truth-table reducible to a Schnorr trivial set. A set A is anti-complex if and only if it is reducible to another set B with tiny use, whereby we mean that the use function for reducing A to B can be made to grow arbitrarily slowly, as gauged by unbounded nondecreasing recursive functions. This notion of reducibility is then studied in its own right, and we also investigate its range and the range of its uniform counterpart.
منابع مشابه
Complex fuzzy Hv-subgroups of an Hv-group
The concept of complex fuzzy sets is a generalization of ordinary fuzzy sets. In this paper, we introduce the concept of complex fuzzy subhypergroups ($H_{v}$-subgroups) as well as the concept of complex anti-fuzzy subhypergroups ($H_{v}$-subgroups). We investigate their properties and their relations with the traditional fuzzy (anti-fuzzy) subhypergroups ($H_{v}$-subgroups), and we prove some ...
متن کاملOn the Hardness of Computable Sets
What makes a problem hard to compute, and how does one categorize problems that accurately captures this notion of hardness? Computer science has traditionally approached this issue with two classification schemas: resource-bounded complexity classes (deterministic or nondeterministic time and space bound computations) and bounded reducibilities (≤m and ≤ T reductions). We show that neither of ...
متن کاملBaire reductions and good Borel reducibilities
In [8] we have considered a wide class of “well-behaved” reducibilities for sets of reals. In this paper we continue with the study of Borel reducibilities by proving a dichotomy theorem for the degree-structures induced by good Borel reducibilities. This extends and improves the results of [8] allowing to deal with a larger class of notions of reduction (including, among others, the Baire clas...
متن کاملStrongly Bounded Turing Reducibilities and Computably Enumerable Sets
Preface In this course we survey some recent work on the strongly bounded Turing re-ducibilities on the computably enumerable sets. Bounded Turing reducibilities are obtained from classical Turing reducibility by imposing upper bounds on the use functions (i.e., on the size of the oracle queries) of the reductions. The most popular bounded Turing reducibility which has been intensively studied ...
متن کاملEffective Reducibilities on Structures and Degrees of Presentability
In this survey paper we consider presentations of structures in admissible sets and some effective reducibilities between structures and their degrees of presentability. Degrees of Σ-definability of structures, as well as degrees of presentability with respect to different effective reducibilities, are natural measures of complexity which are total, i.e. defined for any structure. We also consi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Log.
دوره 78 شماره
صفحات -
تاریخ انتشار 2013